Proof techniques in Membrane Computing

From the creation of field Membrane Computing in 1998, several research lines have been opened. On one hand, theoretical questions like computational power and efficiency P systems studied. In this sense, techniques to demonstrate ability these provide solutions problems explored. The study efficient (polynomial-time) presumably hard for finding thin frontiers is a very active area. other applications biology, ecology, economy, robotics fault diagnosis, among others, investigated. Real with some characteristics seem be easy model membrane due their behaviour. work, survey part will given, explaining both computability theory complexity theory.